Turing Machine A^n B^n C^n